籌款 9月15日 2024 – 10月1日 2024 關於籌款
1
Proofs and Computations

Proofs and Computations

Helmut Schwichtenberg, Stanley S. Wainer
年:
2012
語言:
english
文件:
PDF, 2.80 MB
0 / 0
english, 2012
2
Handbook of Constructive Mathematics

Handbook of Constructive Mathematics

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
年:
2023
語言:
english
文件:
PDF, 16.59 MB
0 / 5.0
english, 2023
4
Handbook of Constructive Mathematics

Handbook of Constructive Mathematics

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
年:
2023
語言:
english
文件:
PDF, 5.99 MB
0 / 4.0
english, 2023
5
Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

Schwichtenberg, Helmut, Wainer, Stanley S
年:
2012
語言:
english
文件:
PDF, 2.20 MB
0 / 0
english, 2012
6
Basic proof theory

Basic proof theory

A S Troelstra, Helmut Schwichtenberg
年:
2000
語言:
english
文件:
DJVU, 3.32 MB
0 / 0
english, 2000
8
Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)
年:
1999
語言:
english
文件:
PDF, 13.23 MB
0 / 0
english, 1999
9
Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)
年:
1999
語言:
english
文件:
DJVU, 4.02 MB
0 / 0
english, 1999
13
Logic of Computation

Logic of Computation

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)
年:
1997
語言:
english
文件:
PDF, 12.55 MB
0 / 0
english, 1997
15
Proof and Computation

Proof and Computation

Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
年:
1995
語言:
english
文件:
PDF, 33.16 MB
0 / 0
english, 1995
16
Proof and System-Reliability

Proof and System-Reliability

G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)
年:
2002
語言:
english
文件:
PDF, 12.35 MB
0 / 0
english, 2002
19
Logic of Computation

Logic of Computation

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)
年:
1997
語言:
english
文件:
DJVU, 3.21 MB
0 / 0
english, 1997